# Empty .mk file for thingino-developer package
